Process algebra for performance evaluation
نویسندگان
چکیده
منابع مشابه
Process algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems — like large-scale computers, client-server architectures, networks — can accurately be described using such stochastic specification formalisms. The main...
متن کاملA Software Performance Evaluation Approach Using Stochastic Process Algebra Tools
In this paper we present an integrated approach to the functional and performance analysis of software modeling provided by Stochastic Process Algebra (SPA). Three SPA languages have been appeared in the last decade and are widely used for software architecture and performance evaluation. We present these languages with the difference between them and we show by an example the methodology which...
متن کاملPerformance Evaluation : = (Process Algebra + Model Checking) × Markov Chains
Markov chains are widely used in practice to determine system performance and reliability characteristics. The vast majority of applications considers continuous-time Markov chains (CTMCs). This tutorial paper shows how successful model specification and analysis techniques from concurrency theory can be applied to performance evaluation. The specification of CTMCs is supported by a stochastic ...
متن کاملFunctional Modelling and Performance Evaluation for Two Class Diffserv Router Using Stochastic Process Algebra
This paper describes the use of stochastic process algebra to model and to evaluate the performance of a two class DiffServ router. This specification is done by means a set of powerful operators of Extended Markovian Process Algebra (EMPA) language, and then studied from the functional and the performance point of view.
متن کاملExtended Differential Aggregations in Process Algebra for Performance and Biology
We study aggregations for ordinary differential equations induced by fluid semantics for Markovian process algebra which can capture the dynamics of performance models and chemical reaction networks. Whilst previous work has required perfect symmetry for exact aggregation, we present approximate fluid lumpability, which makes nearby processes perfectly symmetric after a perturbation of their pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00305-4